1. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (Semnan)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
2. The Vienna development method : the Meta-language
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، ML )Computer program language(
رده :
QA
76
.
7
.
V53
3. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
پدیدآورنده : VDM '09 )0991: Kiel, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1990
